Terminating left-hand sides of scattered context productions M. Nivat
نویسندگان
چکیده
منابع مشابه
Bounded Number of Parallel Productions in Scattered Context Grammars with Three Nonterminals
Scattered context grammars with three nonterminals are known to be computationally complete. So far, however, it was an open problem whether the number of parallel productions can be bounded along with three nonterminals. In this paper, we prove that every recursively enumerable language is generated by a scattered context grammar with three nonterminals and five parallel productions, each of w...
متن کاملTransformation of Left Terminating Programs
We propose an unfold-fold transformation system which preserves left termination for deenite programs besides its declarative semantics. The system extends our previous proposal in BCE95] by allowing to switch the atoms in the clause bodies when a speciic applicability condition is satissed. The applicability condition is very simple to verify , yet very common in practice. We also discuss how ...
متن کاملScattered Context-Free Linear Orderings
We show that it is decidable in exponential time whether the lexicographic ordering of a context-free language is scattered, or a wellordering.
متن کاملContext-dependent Overloading with terminating type inference
In this paper we present a type inference algorithm for a core-Haskell language with unrestrictive context-dependent overloading such that type inference always terminates. When types have constraints, decidability of type inference is based mainly on decidability of constraint-set satisfiability. We define a constraint-set satisfiability algorithm that uses a simple condition in order to guara...
متن کاملLinear programming with interval right hand sides
In this paper, we study general linear programs in which right handsides are interval numbers. This model is relevant when uncertain and inaccurate factors make di–cult the assignment of a single value to each right handside. When objective function coe–cients are interval numbers in a linear program, it is used to determine optimal solutions according to classical criteria coming from decision...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2000
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(99)00292-3